41![Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg,](https://www.pdfsearch.io/img/08ed903e62d6136cfd219bbc469187b4.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:37
|
---|
42![Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3](https://www.pdfsearch.io/img/cc44c942cd1862dfa1ffb495fb888d2a.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
43![A history of (Nordic) compilers and autocodes Peter Sestoft A history of (Nordic) compilers and autocodes Peter Sestoft](https://www.pdfsearch.io/img/c26c105ee29c51e47ae85f5ce7b9da06.jpg) | Add to Reading ListSource URL: www.polyglots.dkLanguage: English - Date: 2014-10-31 16:13:50
|
---|
44![Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Department of Computer Science∗ Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Department of Computer Science∗](https://www.pdfsearch.io/img/cbad68864f1fa7f64780a8e12e65fe65.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2015-11-12 18:17:11
|
---|
45![STANDARD EDITION LABEL: Sheffield Tunes VÖ-DATUM: KAT.-NR.: 1065947STU FORMAT: 1 CD (Jewelcase) STANDARD EDITION LABEL: Sheffield Tunes VÖ-DATUM: KAT.-NR.: 1065947STU FORMAT: 1 CD (Jewelcase)](https://www.pdfsearch.io/img/83db3f2263eaad12aa9eafaa1ba16723.jpg) | Add to Reading ListSource URL: ml.edel.comLanguage: German - Date: 2016-01-07 05:22:37
|
---|
46![A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes](https://www.pdfsearch.io/img/31fd27806a4be1290bf2d4e9c65571ac.jpg) | Add to Reading ListSource URL: cedeela.frLanguage: English - Date: 2015-09-14 19:32:23
|
---|
47![Introduction to Standard ML Robert Harper1 School of Computer Science Carnegie Mellon University Pittsburgh, PA Introduction to Standard ML Robert Harper1 School of Computer Science Carnegie Mellon University Pittsburgh, PA](https://www.pdfsearch.io/img/593970f4e2547e4df8c00cb2e0f801f9.jpg) | Add to Reading ListSource URL: www-plan.cs.colorado.eduLanguage: English - Date: 2008-04-13 08:47:13
|
---|
48![BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science](https://www.pdfsearch.io/img/7969eb4ed2546034116de88e0536f3b0.jpg) | Add to Reading ListSource URL: brics.dkLanguage: English - Date: 2005-03-21 05:10:41
|
---|
49![1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i 1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i](https://www.pdfsearch.io/img/798f63e14901d52f4a670df6de70449e.jpg) | Add to Reading ListSource URL: www.math.nagoya-u.ac.jpLanguage: English - Date: 2005-02-23 20:45:31
|
---|
50![Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,](https://www.pdfsearch.io/img/591812de92083087e5378fb4a5896b99.jpg) | Add to Reading ListSource URL: www.math.nagoya-u.ac.jpLanguage: English - Date: 2005-02-23 20:45:34
|
---|